LOOJ: Weaving LOOM into Java
نویسندگان
چکیده
LOOJ is an extension of Java obtained by adding bounded parametric polymorphism and new type expressions ThisClass and ThisType, which are similar to MyType in LOOM. Through examples we demonstrate the utility of this language even over very expressive extensions such as GJ. The LOOJ compiler generates standard JVML code and supports instanceof and casts for all types including type variables and the other new type expressions. The core of the LOOJ type system is sound, as demonstrated by a soundness proof for an extension of Featherweight GJ. This paper also highlights difficulties that arise from the use of both classes and interfaces as types in Java.
منابع مشابه
Sustaining the Traditional Paithani Saree Weaving of Maharashtra, India
Among the hand woven sarees of India, Paithani is famous and has played a significant role in weaving together the socio-cultural fabric of Maharashtra since it is traditionally a part of the trousseau of every Maharashtra bride. The aim of the study was to document the existing weaving traditions of Paithani and explore the possibility of weaving Paithani as a yardage with different product la...
متن کاملOptimal design of an Indian carpet weaving loom structure
Present looms to weave the carpets in India are made of wood, which are susceptible to termite attacks and low service life. Besides, the high tension in the warps is generated manually through the pull of a rope by 2-3 persons. In order to avoid the above difficulties, an improved metallic loom was developed at IIT Delhi in 2001, which made weaving easy but the cost of loom is high. In this pa...
متن کاملNon Destructive Testing of Fabric Weight in the Weaving Process
Abstract Within the German Cluster of Excellence "Integrative Production Technology for High-Wage Countries", at the RWTH Aachen University, self-optimising production systems are investigated. Within this scope, the weaving process is analyzed. Weight per area is a major product quality of woven fabrics. Integration of sensors into the loom to monitor and control the weight per unit area is in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004